G. Takeuti：在 Z-Library 上搜索

年:

2013

语言:

english

文件:

EPUB, 27.43 MB

5.0 / 0

english, 2013

Axiomatic Set Theory

年:

1973

语言:

english

文件:

PDF, 13.24 MB

5.0 / 5.0

english, 1973

Introduction to Axiomatic Set Theory

年:

1982

语言:

english

文件:

DJVU, 1.87 MB

0 / 0

english, 1982

層・圏・トポス——現代的集合像を求めて

日本評論社

年:

2010

语言:

japanese

文件:

PDF, 9.00 MB

0 / 5.0

japanese, 2010

Proof Theory

年:

1987

语言:

english

文件:

PDF, 23.91 MB

0 / 0

english, 1987

証明論と計算量

裳華房

年:

1995

语言:

japanese

文件:

PDF, 9.80 MB

0 / 5.0

japanese, 1995

数理論理学—語の問題

培風館

年:

1973

语言:

japanese

文件:

PDF, 14.73 MB

0 / 4.5

japanese, 1973

Proof theory

年:

1987

语言:

english

文件:

DJVU, 4.47 MB

0 / 0

english, 1987

Proof Theory

World Scientific Pub Co Inc

年:

1975

语言:

english

文件:

PDF, 5.95 MB

0 / 0

english, 1975

Memoirs of a Proof Theorist: Gödel and Other Logicians

Gaisi Takeuti, Nicholas Passell, Mariko Yasugi

年:

2003

语言:

english

文件:

PDF, 4.79 MB

0 / 0

english, 2003

Two Applications of Logic to Mathematics

Princeton University Press

World Scientific Publishing Company

年:

1978

语言:

english

文件:

PDF, 1.15 MB

0 / 0

english, 1978

Теория судебных доказательств в советском праве. Издание третье дополненное.

Мир

Такеути Г. (Takeuti G.)

年:

1978

语言:

russian

文件:

DJVU, 4.87 MB

0 / 0

russian, 1978

Memoirs of a proof theorist: Goedel and other logicians

Gaisi Takeuti, Nicholas Passell, Mariko Yasugi

年:

2003

语言:

english

文件:

DJVU, 891 KB

0 / 0

english, 2003

Axiomatic Set Theory

World Scientific Pub Co Inc

年:

1973

语言:

english

文件:

DJVU, 2.33 MB

0 / 0

english, 1973

Memoirs of a Proof Theorist: Gödel and Other Logicians

Gaisi Takeuti, Nicholas Passell, Mariko Yasugi

年:

2003

语言:

english

文件:

DJVU, 892 KB

0 / 0

english, 2003

Proof theory: (based on a series of lectures at the Symposium on intuitionism and proof theory held at Buffalo 1968)

North Holland

Takeuti, Gaisi

年:

1987

语言:

english

文件:

DJVU, 4.47 MB

0 / 0

english, 1987

Proof Theory

年:

1975

语言:

english

文件:

DJVU, 2.24 MB

0 / 0

english, 1975

Axiomatic Set Theory

Gaisi Takeuti [Takeuti, Gaisi]

年:

1973

语言:

english

文件:

DJVU, 6.27 MB

0 / 0

english, 1973

Proof Theory

Elsevier Science Ltd

年:

1987

语言:

english

文件:

PDF, 23.40 MB

0 / 4.0

english, 1987

Logic Symposia, Hakone, 1979, 1980

Springer

G.H. Müller, G. Takeuti, T. Tugue

年:

1981

语言:

english

文件:

DJVU, 1.94 MB

0 / 0

english, 1981

Nonlinear Phenomena in Stellar Variability

Springer Netherlands

M. Takeuti (auth.), M. Takeuti, J.-R. Buchler (eds.)

年:

1993

语言:

english

文件:

PDF, 21.27 MB

0 / 0

english, 1993

Introduction to Axiomatic Set Theory

年:

1982

语言:

english

文件:

PDF, 14.28 MB

5.0 / 5.0

english, 1982

Introduction to Axiomatic Set Theory

Springer, Springer-Verlag Berlin Heidelberg GmbH

年:

1982

语言:

english

文件:

PDF, 4.37 MB

5.0 / 0

english, 1982

Introduction to Axiomatic Set Theory

Springer, Springer-Verlag Berlin Heidelberg GmbH

年:

1982

语言:

english

文件:

PDF, 6.45 MB

0 / 0

english, 1982

Introduction to Axiomatic Set Theory

年:

1982

语言:

english

文件:

PDF, 15.10 MB

0 / 0

english, 1982

Axiomatic Set Theory

年:

1973

语言:

english

文件:

DJVU, 1.18 MB

5.0 / 5.0

english, 1973

Introduction to Axiomatic Set Theory

Princeton University Press

年:

1982

语言:

english

文件:

DJVU, 4.01 MB

0 / 0

english, 1982

Two Applications of Logic to Mathematics

年:

1978

语言:

english

文件:

DJVU, 961 KB

0 / 0

english, 1978

Introduction to axiomatic set theory

Springer-Verlag

Zaring, Wilson M., Takeuti, Gaisi

年:

1982

语言:

english

文件:

DJVU, 1.51 MB

0 / 0

english, 1982

Introduction to Axiomatic Set Theory

年:

1982

语言:

english

文件:

PDF, 14.15 MB

5.0 / 0

english, 1982

Introduction to Axiomatic Set Theory

年:

1971

语言:

english

文件:

PDF, 13.72 MB

0 / 0

english, 1971

Introduction to Axiomatic Set Theory

年:

1982

语言:

english

文件:

DJVU, 4.01 MB

0 / 0

english, 1982

Introduction to Axiomatic Set Theory

Jørgen Otzen Petersen, Mine Takeuti (auth.), Mine Takeuti, Dimitar D. Sasselov (eds.)

年:

1982

语言:

english

文件:

PDF, 4.37 MB

5.0 / 0

english, 1982

Logic Symposia, Hakone, 1979, 1980 proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980

Springer

G.H. Müller, G. Takeuti, T. Tugue

年:

1981

语言:

english

文件:

PDF, 8.99 MB

0 / 0

english, 1981

Stellar Pulsation — Nonlinear Studies

Springer Netherlands

年:

2001

语言:

english

文件:

PDF, 9.90 MB

0 / 0

english, 2001

Logic Symposia Hakone 1979, 1980: Proceedings of Conferences Held in Hakone, Japan March 21–24, 1979 and February 4–7, 1980

Springer-Verlag Berlin Heidelberg

Masazumi Hanazawa (auth.), Gert H. Müller, Gaisi Takeuti, Tosiyuki Tugué (eds.)

年:

1981

语言:

english

文件:

PDF, 4.16 MB

0 / 0

english, 1981

Two Applications of Logic to Mathematics

Princeton University Press